<html>
  <head>
    <title>Slot Unfolding Algorithm Trace</title>
    <style media="screen">
      body {
        font-family: Helvetica, "Lucida Grande", sans-serif;
      }
      th, td {
        border: 1px solid #AAA;
        padding: 3px;
      }
      code em {
        color: blue;
      }
      code b {
        color: green;
      }
    </style>
  </head>
  <body>
    <h1 id="slotunfoldingalgorithmtrace">Slot Unfolding Algorithm Trace</h1>

    <p>This document shows a trace of the algorithm for unfolding a slot-based tag space
    description into a list of ordinal dimensions.</p>

    <h2 id="tagscode">Tags code</h2>

    <pre><code>
<b>DataTags</b>: <em>consists of</em> Handling, Assertions, IP.
<b>Handling</b>: <em>consists of</em> Storage, Transit.
<b>Assertions</b>: <em>some of</em> humanData, educationalRecords.
<b>Storage</b>: <em>one of</em> clear, encrypt, multiEncrypt.
<b>Transit</b>: <em>one of</em> clear, encrypt.
<b>IP</b>[Intellectual Property]: <em>TODO</em>.
    </code></pre>

    <h2 id="trace">Trace</h2>

    <p>After stage 1:</p>

    <table>
    <colgroup>
    <col style="text-align:left;"/>
    <col style="text-align:left;"/>
    <col style="text-align:left;"/>
    </colgroup>

    <thead>
    <tr>
    	<th style="text-align:left;">Slot</th>
    	<th style="text-align:left;">Type</th>
    	<th style="text-align:left;">Content</th>
    </tr>
    </thead>

    <tbody>
    <tr>
    	<td style="text-align:left;">DataTags</td>
    	<td style="text-align:left;">Compound</td>
    	<td style="text-align:left;">Handling, Assertions, IP</td>
    </tr>
    </tbody>
    </table>

    <p>After first iteration of stage 2:</p>

    <table>
    <colgroup>
    <col style="text-align:left;"/>
    <col style="text-align:left;"/>
    <col style="text-align:left;"/>
    </colgroup>

    <thead>
    <tr>
    	<th style="text-align:left;">Slot</th>
    	<th style="text-align:left;">Type</th>
    	<th style="text-align:left;">Content</th>
    </tr>
    </thead>

    <tbody>
    <tr>
    	<td style="text-align:left;">DataTags/Handling</td>
    	<td style="text-align:left;">Compound</td>
    	<td style="text-align:left;">Storage, Transit</td>
    </tr>
    <tr>
    	<td style="text-align:left;">DataTags/Assertions</td>
    	<td style="text-align:left;">Aggregate</td>
    	<td style="text-align:left;">humanData, educationalRecords</td>
    </tr>
    </tbody>
    </table>

    <p>When stage 2 is over:</p>

    <table>
    <colgroup>
    <col style="text-align:left;"/>
    <col style="text-align:left;"/>
    <col style="text-align:left;"/>
    </colgroup>

    <thead>
    <tr>
    	<th style="text-align:left;">Slot</th>
    	<th style="text-align:left;">Type</th>
    	<th style="text-align:left;">Content</th>
    </tr>
    </thead>

    <tbody>
    <tr>
    	<td style="text-align:left;">DataTags/Handling/Storage</td>
    	<td style="text-align:left;">Atomic</td>
    	<td style="text-align:left;">clear, encrypt multiEncrypt</td>
    </tr>
    <tr>
    	<td style="text-align:left;">DataTags/Handling/Transit</td>
    	<td style="text-align:left;">Atomic</td>
    	<td style="text-align:left;">clear, encrypt</td>
    </tr>
    <tr>
    	<td style="text-align:left;">DataTags/Assertions</td>
    	<td style="text-align:left;">Aggregate</td>
    	<td style="text-align:left;">humanData, educationalRecords</td>
    </tr>
    </tbody>
    </table>

    <p>After first iteration of stage 3:</p>

    <table>
    <colgroup>
    <col style="text-align:left;"/>
    <col style="text-align:left;"/>
    <col style="text-align:left;"/>
    </colgroup>

    <thead>
    <tr>
    	<th style="text-align:left;">Slot</th>
    	<th style="text-align:left;">Type</th>
    	<th style="text-align:left;">Content</th>
    </tr>
    </thead>

    <tbody>
    <tr>
    	<td style="text-align:left;">DataTags/Handling/Storage</td>
    	<td style="text-align:left;">Atomic</td>
    	<td style="text-align:left;">clear, encrypt multiEncrypt</td>
    </tr>
    <tr>
    	<td style="text-align:left;">DataTags/Handling/Transit</td>
    	<td style="text-align:left;">Atomic</td>
    	<td style="text-align:left;">clear, encrypt</td>
    </tr>
    <tr>
    	<td style="text-align:left;">DataTags/Assertions/humanData</td>
    	<td style="text-align:left;">Atomic</td>
    	<td style="text-align:left;">no, yes</td>
    </tr>
    <tr>
    	<td style="text-align:left;">DataTags/Assertions/educationalRecords</td>
    	<td style="text-align:left;">Atomic</td>
    	<td style="text-align:left;">no, yes</td>
    </tr>
    </tbody>
    </table>

    <p>Note that as there is only a single aggregate slot in this example, stage 3 iterated only once.</p>
  </body>
</html>
